définition :
L'Espace vectoriel \(E\) est dit de dimension finie s'il existe une famille génératrice finie $$\exists\{u_1,u_2,\ldots,u_n\}\subset E,E=\operatorname{Vect}(u_1,u_2,\ldots,u_n)$$
Proposition :
L'espace \(\Bbb R[X]\) n'est pas de dimension finie
